#include<stdio.h>
#include<string.h>
#include<unistd.h>
int main()
{
  int a = 12345;
  char buffer[1024];
  snprintf(buffer,sizeof(buffer),"%d",a);
  write(1,buffer,strlen(buffer));
  return 0;
}
